简述了消息队列、共享内存和信号量达三种通信机制的结构及其实现，并以此为基础，提出了通过实现进程间通信的强制访问控制来提高系统......

介绍了Ｕｎｉｘ Ｓｙｓｔｅｍ Ｖ ＩＰＣ（ＩｎｔｅｒＰｒｏｃｅｓｓ Ｃｏｍｍｕｎｉｃａｔｉｏｎ）及共享内存区的通信机制；以及ＩＰＣ机制与Ｕｎｉｘ内核之间的关联．最后给出应用实例：共享内存区在电子公告板ＢＢＳ系统上的实现．......

AFDX（AvionicsFullDuplexSwitchedEthernet，航空全双工交换式以太网）网络为航电系统提供了一种确定、余度的数据交换服务，其基础和核心......

基于Linux开发安全操作系统是提高计算机安全的重要途径,而形式化验证则是开发过程的重要和必要的环节.我们从Linux的各个子系统着......